Higher order processes in random Raman lasing
نویسندگان
چکیده
منابع مشابه
Enabling time resolved microscopy with random Raman lasing
Optical imaging of fast events and processes is essential for understanding dynamics of complex systems. A bright flash of illuminating light is required to acquire sufficient number of photons for superior image quality. Laser pulses can provide extreme brightness and are typically employed to achieve high temporal resolution; however, the high degree of coherence associated with the lasing pr...
متن کاملClassical Higher-Order Processes
Classical Processes (CP) is a calculus where the proof theory of classical linear logic types communicating processes with mobile channels, à la π -calculus. Its construction builds on a recent propositions as types correspondence between session types and propositions in linear logic. Desirable properties such as type preservation under reductions and progress come for free from the metatheory...
متن کاملLasing in random media
A random laser is a non-conventional laser whose feedback mechanism is based on disorder-induced light scattering. Depending on whether the feedback supplied by scattering is intensity feedback or amplitude feedback, random lasers are classified into two categories: random lasers with incoherent feedback and random lasers with coherent feedback. A brief survey of random lasers with incoherent f...
متن کاملSOS for Higher Order Processes
We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format is called promoted PANTH. This format is easier to apply and strictly more expressive than the promoted ty...
متن کاملReasoning about Higher-Order Processes
We address the speci cation and veri cation problem for process calculi such as Chocs, CML and Facile where processes or functions are transmissible values. Our work takes place in the context of a static treatment of restriction and of a bisimulation-based semantics. As a paradigmatic and simple case we concentrate on (Plain) Chocs. We show that Chocs bisimulation can be characterized by an ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Physics A
سال: 2014
ISSN: 0947-8396,1432-0630
DOI: 10.1007/s00339-014-8722-7